Model Verification And Validation – alle Bücher

Günter Fischer
Der Bau der Cheops-Pyramide

Seit Jahrhunderten schon versuchen Wissenschaftler die Frage zu beantworten, wie die Ägypter es geschafft haben, mit den ihnen damals zur Verfügung stehenden einfachen Mitteln 2,32 Millionen Steine in ein…

lieferbar ab 15.9.2025.

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Lecture Notes in Computer Science - Band 15221

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

William L Oberkampf, Christopher J Roy
Verification, Validation, and Uncertainty Quantification in Scientific Computing

"This updated edition provides a framework for assessing the reliability and uncertainty of modeling and simulation results used in industry and government. With extra worked examples and homework problem…

lieferbar innerhalb 1-2 Wochen

Buch

Verification, Model Checking, and Abstract Interpretation

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, …

lieferbar innerhalb 2-3 Wochen

Buch

Verification, Model Checking, and Abstract Interpretation

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, …

lieferbar innerhalb 2-3 Wochen

Buch

Model Validation and Uncertainty Quantification, Volume 3

Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics, 2023, the third volume of ten from the Conference brings togeth…

lieferbar innerhalb 2-3 Wochen

Buch

Model Validation and Uncertainty Quantification, Vol. 3

Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 42nd IMAC, A Conference and Exposition on Structural Dynamics, 2024, the third volume of ten from the Conference brings togeth…

lieferbar innerhalb 2-3 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

Lecture Notes in Computer Science - Band 15223

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Lecture Notes in Computer Science - Band 15222

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Lecture Notes in Computer Science - Band 15220

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

Lecture Notes in Computer Science - Band 15219

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

Ashley
Analysis and Validation of a Non-Isolated Cuk Converter in Continuous Conduction Mode

As per the control-to-output voltage transfer function Tp for lossless Cuk converter, the conjugate complex zeros are on the right-half plane zeros. The behavior of zeros for variation in the duty cycle …

lieferbar innerhalb 2-3 Wochen

Buch

Bassem El Badsi, Imen Nouira
Control Strategies of Electric Drives

This book delves into the intricate world of electric drives, offering a comprehensive guide to advanced control strategies. "Control Strategies of Electric Drives" provides readers with an in-depth explo…

lieferbar innerhalb 2-3 Wochen

Buch

Weifei Hu
Design Optimization Under Uncertainty

This book introduces the fundamental concepts of probability and reliability, the classical methods of uncertainty modelling, time-dependent and time-independent reliability analysis methods, model verifi…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Model Verification And Validation" - alle Bücher